منابع مشابه
Debugging Parallel DEVS
To this day, debugging support for the DEVS formalism has been provided, at best, in an ad-hoc way. The intricacies of dealing with the interplay of different notions of (simulated) time, the formalism semantics, and user input, has not been thoroughly investigated. This paper presents a visual modelling, simulation, and debugging environment for Parallel DEVS, which builds on a theoretical fou...
متن کاملTime- and space-conscious omniscient debugging of parallel DEVS
Current Parallel DEVS simulation tools provide a wide set of debugging features. Omniscient debugging, or debugging backwards in time, is only rarely implemented, presumably due to its high resource consumption. Outside of DEVS simulation, omniscient debugging implementations are often lossy: some parts of the model or code are ignored, or they consider only a time window of most recent events....
متن کاملConservative Synchronization Methods for Parallel DEVS and Cell-DEVS
We present three conservative synchronization mechanisms for parallel DEVS and Cell-DEVS. The protocols are based on the classical Chandy-Misra-Bryant null message mechanism with deadlock avoidance. Our protocols provide a novel DEVS-based conservative approach that is deadlockfree, and extracts the lookahead information from the model’s specification. The protocols are integrated into the CD++...
متن کاملParallel Environment for DEVS and Cell-DEVS Models
Discrete Event System Specification (DEVS) is a sound formalism to describe generic dynamic systems in a hierarchical and modular way. Cell-DEVS is a DEVS-based formalism intended to model complex physical systems as cell spaces. This work presents new techniques for executing DEVS and Cell-DEVS models in parallel and distributed environments based on the WARPED kernel, an implementation of the...
متن کاملKeynote: Assertion Based Parallel Debugging
Programming languages have advanced tremendously over the years, but program debuggers have hardly changed. Sequential debuggers do little more than allow a user to control the flow of a program and examine its state. Parallel ones support the same operations on multiple processes, which are adequate with a small number of processors, but become unwieldy and ineffective on very large machines. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIMULATION
سال: 2016
ISSN: 0037-5497,1741-3133
DOI: 10.1177/0037549716658360